* Define `cl-satisfies-deftype' mapping predicate -> type

	* lisp/emacs-lisp/cl-macs.el (cl-satisfies-deftype): Define symbol
	property as reverse of `cl-deftype-satisfies'.

diff --git a/lisp/emacs-lisp/cl-macs.el b/lisp/emacs-lisp/cl-macs.el
index f4b22ffbea221574aa0108a97436e674b6e83dae..7dfcc288e6799fc9f85ca14620f81ab1c5f0aa38 100644 (file)
--- a/lisp/emacs-lisp/cl-macs.el
+++ b/lisp/emacs-lisp/cl-macs.el
@@ -3198,7 +3198,8 @@ Of course, we really can't know that for sure, so it's just a heuristic."
                  ;; FIXME: Do we really want to consider this a type?
                  (integer-or-marker . integer-or-marker-p)
                  ))
-  (put type 'cl-deftype-satisfies pred))
+  (put type 'cl-deftype-satisfies pred)
+  (put pred 'cl-satisfies-deftype type))
 
 ;;;###autoload
 (define-inline cl-typep (val type)